set (APP_NAME "ltlfsyn-bin")

#configure directories
set (APP_MODULE_PATH    "${PROJECT_SOURCE_DIR}/app")
set (APP_SRC_PATH       "${APP_MODULE_PATH}/src" )

#set includes
include_directories (${APP_SRC_PATH} ${LIBRARY_DEPENDS_PATH} ${LIBRARY_INCLUDE_PATH})
include_directories (${LIBRARY_DEPENDS_PATH}/minisat)
include_directories (${LIBRARY_DEPENDS_PATH}/cudd)

#set sources
file (GLOB_RECURSE APP_SOURCE_FILES "${APP_SRC_PATH}/*.cpp")

#set target executable
add_executable (${APP_NAME} ${APP_SOURCE_FILES})

#add the library
target_link_libraries(${APP_NAME} ltlfsyn ltlf2dfa)
# target_link_libraries(${APP_NAME} ltlf2dfa ltlfsyn ltlfsat ${EXTERNAL_LIBS} deps)

set_target_properties(${APP_NAME} PROPERTIES OUTPUT_NAME ltlfsyn)

# #test
# enable_testing ()
# add_subdirectory (test)